Net Applications - PDFSEARCH.IO - Document Search Engine

Net Applications
Results: 1712

#	Item
741	UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN (UIUC). The Department of Civil and Environmental Engineering (CEE) at the University of Illinois at Urbana-Champaign invites applications for four full-time tenured or tenure-t Add to Reading List Source URL: microbe.net Language: English - Date: 2014-10-03 13:46:17 Committee on Institutional Cooperation University of Illinois at Urbana–Champaign Association of American Universities North Central Association of Colleges and Schools University of Illinois system Champaign–Urbana metropolitan area Environmental engineering Newmark Civil Engineering Laboratory National Center for Supercomputing Applications Champaign County Illinois Illinois Association of Public and Land-Grant Universities
742	Oracle Database Gateway for APPC Installation and Configuration Guide Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2015-04-05 01:45:28 Cross-platform software Oracle Database Oracle Net Services Oracle Applications Oracle Corporation Microsoft Host Integration Server Internet protocol suite Software Computing Network protocols
743	ELETROBRÁS Centrais Elétricas Brasileiras CEPEL - Centro de Pesquisas de Energia Elétrica Hydrogen and Fuel Cell Stationary Applications Add to Reading List Source URL: www.iphe.net Language: English - Date: 2011-02-16 16:57:00 Eletrobras Electric power distribution Electric power transmission systems Emerging technologies Electrical engineering Eletronorte Electrical grid Electricity generation Hydrogen economy Energy Electric power Technology
744	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
745	Oracle Database Client Installation Guide Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2015-04-05 01:46:46 Oracle Database Oracle Enterprise Manager Oracle Corporation Oracle Applications Oracle RAC Oracle Clusterware Oracle Net Services Oracle ACFS Oracle Beehive Software Computing Cross-platform software
746	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
747	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
748	Mirafi® PET High-Strength Woven Polyester Geotextiles for Soil Reinforcement Applications TenCate develops and produces materials that function to increase performance, reduce costs and deliver measurable results by wor Add to Reading List Source URL: d6cbwp89cp4qo.cloudfront.net Language: English - Date: 2015-03-19 00:56:14 Geotextile Construction Geosynthetic Mechanically stabilized earth Textile Polyester Geocomposite Geogrid Geotechnical engineering Solid mechanics Mechanics
749	Oracle Database Gateway for APPC Installation and Configuration Guide for Microsoft Windows Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2015-04-05 01:45:50 Cross-platform software Oracle Database Oracle Net Services Microsoft Host Integration Server Oracle Corporation Oracle Applications Internet protocol suite Gateway Oracle RAC Software Computing Network protocols
750	2012 Robert Stewart Distinguished Lecture and 2012 HCI Emerging Technologies Conference Keynote Lecture Larry Smarr http://lsmarr.calit2.net/ Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2012-06-26 17:40:43 National Science Foundation Larry Smarr Year of birth missing Science and technology in the United States Energy Sciences Network National Center for Supercomputing Applications Tsutomu Kanai Award California Institute for Telecommunications and Information Technology Terabyte E-Science Computing Cyberinfrastructure

UPDATE